A logical reconstruction of pure exchange economics
نویسندگان
چکیده
منابع مشابه
A Logical Reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI’s key innovation was the use of local names. We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution. Here we show how our earlier approach can be extended to deal with a number of key fe...
متن کاملTowards a Logical Semantics for Pure Prolog
The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-rst left-to-right evaluation strategy of Prolog interpreters. We propose a semantics for Prolog programs based on a four-valued logic. The semantics is based on a new concept of completion analogous to Clark's and it enjoys the nice properties of the declarativ...
متن کاملTowards a Logical Reconstruction of CF-Induction
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically explains a set of examples with respect to a prior background theory. Currently, CF-induction computes hypotheses by applying combinations of several complex generalisation operators to an intermediate theory called a brid...
متن کاملA Partial Logical Reconstruction of PLAKON/KONWERK
The main goal of the projects TEX-K and PROKON, carried out at the Dept. of Computer Science, University of Hamburg in the years of 1986– 1990 and 1991–1995, respectively, and dealing with knowledge-based configuration in technical domains, was to develop suitable representation languages tailored to the needs of the configuration domain and a methodology for actually solving configuration task...
متن کاملA logical reconstruction of temporal databases
Traditional approaches to temporal databases are either not formal or deal only with static features, considering mainly a single state of the database. The temporal nature of data in temporal databases, however, is intrinsically dynamic, for it deals with the evolution of data. In this work, a temporal logic framework is proposed to simultaneously cope with both the static and the dynamic aspe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Erkenntnis
سال: 1982
ISSN: 0165-0106,1572-8420
DOI: 10.1007/bf00179525